home *** CD-ROM | disk | FTP | other *** search
/ Creating Your Own America Online Web Pages / Creating Your Own America Online Web Pages.iso / TOOLS / TEX2RTF / SOURCES.ZIP / DOCS / TEX2RTF.TEX / labels.pl < prev    next >
Encoding:
Text File  |  1994-07-23  |  17.1 KB  |  670 lines

  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate labels original text with physical files.
  3.  
  4.  
  5. $key = q/HUGE3/;
  6. $external_labels{$key} = "$URL/" . q|node92_ct.html|; 
  7. $noresave{$key} = "$nosave";
  8.  
  9. $key = q/Huge2/;
  10. $external_labels{$key} = "$URL/" . q|node91_ct.html|; 
  11. $noresave{$key} = "$nosave";
  12.  
  13. $key = q/LARGE3/;
  14. $external_labels{$key} = "$URL/" . q|node105_ct.html|; 
  15. $noresave{$key} = "$nosave";
  16.  
  17. $key = q/LaTeX/;
  18. $external_labels{$key} = "$URL/" . q|node106_ct.html|; 
  19. $noresave{$key} = "$nosave";
  20.  
  21. $key = q/Large2/;
  22. $external_labels{$key} = "$URL/" . q|node104_ct.html|; 
  23. $noresave{$key} = "$nosave";
  24.  
  25. $key = q/TeX/;
  26. $external_labels{$key} = "$URL/" . q|node166_ct.html|; 
  27. $noresave{$key} = "$nosave";
  28.  
  29. $key = q/abstract/;
  30. $external_labels{$key} = "$URL/" . q|node38_ct.html|; 
  31. $noresave{$key} = "$nosave";
  32.  
  33. $key = q/addcontentsline/;
  34. $external_labels{$key} = "$URL/" . q|node39_ct.html|; 
  35. $noresave{$key} = "$nosave";
  36.  
  37. $key = q/author/;
  38. $external_labels{$key} = "$URL/" . q|node40_ct.html|; 
  39. $noresave{$key} = "$nosave";
  40.  
  41. $key = q/backslash/;
  42. $external_labels{$key} = "$URL/" . q|node41_ct.html|; 
  43. $noresave{$key} = "$nosave";
  44.  
  45. $key = q/bcol/;
  46. $external_labels{$key} = "$URL/" . q|node42_ct.html|; 
  47. $noresave{$key} = "$nosave";
  48.  
  49. $key = q/bf/;
  50. $external_labels{$key} = "$URL/" . q|node43_ct.html|; 
  51. $noresave{$key} = "$nosave";
  52.  
  53. $key = q/bibitem/;
  54. $external_labels{$key} = "$URL/" . q|node44_ct.html|; 
  55. $noresave{$key} = "$nosave";
  56.  
  57. $key = q/bibliography/;
  58. $external_labels{$key} = "$URL/" . q|node46_ct.html|; 
  59. $noresave{$key} = "$nosave";
  60.  
  61. $key = q/bibliographystyle/;
  62. $external_labels{$key} = "$URL/" . q|node45_ct.html|; 
  63. $noresave{$key} = "$nosave";
  64.  
  65. $key = q/bibsection/;
  66. $external_labels{$key} = "$URL/" . q|node19_ct.html|; 
  67. $noresave{$key} = "$nosave";
  68.  
  69. $key = q/caption/;
  70. $external_labels{$key} = "$URL/" . q|node47_ct.html|; 
  71. $noresave{$key} = "$nosave";
  72.  
  73. $key = q/cdots/;
  74. $external_labels{$key} = "$URL/" . q|node48_ct.html|; 
  75. $noresave{$key} = "$nosave";
  76.  
  77. $key = q/center/;
  78. $external_labels{$key} = "$URL/" . q|node50_ct.html|; 
  79. $noresave{$key} = "$nosave";
  80.  
  81. $key = q/centerline/;
  82. $external_labels{$key} = "$URL/" . q|node49_ct.html|; 
  83. $noresave{$key} = "$nosave";
  84.  
  85. $key = q/cextract/;
  86. $external_labels{$key} = "$URL/" . q|node51_ct.html|; 
  87. $noresave{$key} = "$nosave";
  88.  
  89. $key = q/chapter/;
  90. $external_labels{$key} = "$URL/" . q|node53_ct.html|; 
  91. $noresave{$key} = "$nosave";
  92.  
  93. $key = q/chapterheading/;
  94. $external_labels{$key} = "$URL/" . q|node54_ct.html|; 
  95. $noresave{$key} = "$nosave";
  96.  
  97. $key = q/chaptersX/;
  98. $external_labels{$key} = "$URL/" . q|node52_ct.html|; 
  99. $noresave{$key} = "$nosave";
  100.  
  101. $key = q/cinsert/;
  102. $external_labels{$key} = "$URL/" . q|node55_ct.html|; 
  103. $noresave{$key} = "$nosave";
  104.  
  105. $key = q/cite/;
  106. $external_labels{$key} = "$URL/" . q|node56_ct.html|; 
  107. $noresave{$key} = "$nosave";
  108.  
  109. $key = q/class/;
  110. $external_labels{$key} = "$URL/" . q|node57_ct.html|; 
  111. $noresave{$key} = "$nosave";
  112.  
  113. $key = q/clipsfunc/;
  114. $external_labels{$key} = "$URL/" . q|node58_ct.html|; 
  115. $noresave{$key} = "$nosave";
  116.  
  117. $key = q/comment/;
  118. $external_labels{$key} = "$URL/" . q|node59_ct.html|; 
  119. $noresave{$key} = "$nosave";
  120.  
  121. $key = q/comments/;
  122. $external_labels{$key} = "$URL/" . q|node189_ct.html|; 
  123. $noresave{$key} = "$nosave";
  124.  
  125. $key = q/copyright/;
  126. $external_labels{$key} = "$URL/" . q|node60_ct.html|; 
  127. $noresave{$key} = "$nosave";
  128.  
  129. $key = q/cparam/;
  130. $external_labels{$key} = "$URL/" . q|node61_ct.html|; 
  131. $noresave{$key} = "$nosave";
  132.  
  133. $key = q/date/;
  134. $external_labels{$key} = "$URL/" . q|node62_ct.html|; 
  135. $noresave{$key} = "$nosave";
  136.  
  137. $key = q/definecolour/;
  138. $external_labels{$key} = "$URL/" . q|node63_ct.html|; 
  139. $noresave{$key} = "$nosave";
  140.  
  141. $key = q/description/;
  142. $external_labels{$key} = "$URL/" . q|node64_ct.html|; 
  143. $noresave{$key} = "$nosave";
  144.  
  145. $key = q/document/;
  146. $external_labels{$key} = "$URL/" . q|node66_ct.html|; 
  147. $noresave{$key} = "$nosave";
  148.  
  149. $key = q/documentstyle/;
  150. $external_labels{$key} = "$URL/" . q|node65_ct.html|; 
  151. $noresave{$key} = "$nosave";
  152.  
  153. $key = q/em/;
  154. $external_labels{$key} = "$URL/" . q|node67_ct.html|; 
  155. $noresave{$key} = "$nosave";
  156.  
  157. $key = q/enumerate/;
  158. $external_labels{$key} = "$URL/" . q|node68_ct.html|; 
  159. $noresave{$key} = "$nosave";
  160.  
  161. $key = q/errors/;
  162. $external_labels{$key} = "$URL/" . q|node190_ct.html|; 
  163. $noresave{$key} = "$nosave";
  164.  
  165. $key = q/fcol/;
  166. $external_labels{$key} = "$URL/" . q|node69_ct.html|; 
  167. $noresave{$key} = "$nosave";
  168.  
  169. $key = q/figure/;
  170. $external_labels{$key} = "$URL/" . q|node70_ct.html|; 
  171. $noresave{$key} = "$nosave";
  172.  
  173. $key = q/flushleft/;
  174. $external_labels{$key} = "$URL/" . q|node71_ct.html|; 
  175. $noresave{$key} = "$nosave";
  176.  
  177. $key = q/flushright/;
  178. $external_labels{$key} = "$URL/" . q|node72_ct.html|; 
  179. $noresave{$key} = "$nosave";
  180.  
  181. $key = q/footnote/;
  182. $external_labels{$key} = "$URL/" . q|node73_ct.html|; 
  183. $noresave{$key} = "$nosave";
  184.  
  185. $key = q/footnotepopup/;
  186. $external_labels{$key} = "$URL/" . q|node74_ct.html|; 
  187. $noresave{$key} = "$nosave";
  188.  
  189. $key = q/func/;
  190. $external_labels{$key} = "$URL/" . q|node76_ct.html|; 
  191. $noresave{$key} = "$nosave";
  192.  
  193. $key = q/functionsection/;
  194. $external_labels{$key} = "$URL/" . q|node75_ct.html|; 
  195. $noresave{$key} = "$nosave";
  196.  
  197. $key = q/gloss/;
  198. $external_labels{$key} = "$URL/" . q|node77_ct.html|; 
  199. $noresave{$key} = "$nosave";
  200.  
  201. $key = q/glossarysection/;
  202. $external_labels{$key} = "$URL/" . q|node20_ct.html|; 
  203. $noresave{$key} = "$nosave";
  204.  
  205. $key = q/helpfontfamily/;
  206. $external_labels{$key} = "$URL/" . q|node82_ct.html|; 
  207. $noresave{$key} = "$nosave";
  208.  
  209. $key = q/helpfontsize/;
  210. $external_labels{$key} = "$URL/" . q|node83_ct.html|; 
  211. $noresave{$key} = "$nosave";
  212.  
  213. $key = q/helpglossary/;
  214. $external_labels{$key} = "$URL/" . q|node78_ct.html|; 
  215. $noresave{$key} = "$nosave";
  216.  
  217. $key = q/helpignore/;
  218. $external_labels{$key} = "$URL/" . q|node79_ct.html|; 
  219. $noresave{$key} = "$nosave";
  220.  
  221. $key = q/helpinput/;
  222. $external_labels{$key} = "$URL/" . q|node81_ct.html|; 
  223. $noresave{$key} = "$nosave";
  224.  
  225. $key = q/helponly/;
  226. $external_labels{$key} = "$URL/" . q|node80_ct.html|; 
  227. $noresave{$key} = "$nosave";
  228.  
  229. $key = q/helpref/;
  230. $external_labels{$key} = "$URL/" . q|node84_ct.html|; 
  231. $noresave{$key} = "$nosave";
  232.  
  233. $key = q/helprefn/;
  234. $external_labels{$key} = "$URL/" . q|node85_ct.html|; 
  235. $noresave{$key} = "$nosave";
  236.  
  237. $key = q/hline/;
  238. $external_labels{$key} = "$URL/" . q|node86_ct.html|; 
  239. $noresave{$key} = "$nosave";
  240.  
  241. $key = q/hrule/;
  242. $external_labels{$key} = "$URL/" . q|node87_ct.html|; 
  243. $noresave{$key} = "$nosave";
  244.  
  245. $key = q/html/;
  246. $external_labels{$key} = "$URL/" . q|node199_ct.html|; 
  247. $noresave{$key} = "$nosave";
  248.  
  249. $key = q/htmlignore/;
  250. $external_labels{$key} = "$URL/" . q|node88_ct.html|; 
  251. $noresave{$key} = "$nosave";
  252.  
  253. $key = q/htmlonly/;
  254. $external_labels{$key} = "$URL/" . q|node89_ct.html|; 
  255. $noresave{$key} = "$nosave";
  256.  
  257. $key = q/huge1/;
  258. $external_labels{$key} = "$URL/" . q|node90_ct.html|; 
  259. $noresave{$key} = "$nosave";
  260.  
  261. $key = q/image/;
  262. $external_labels{$key} = "$URL/" . q|node99_ct.html|; 
  263. $noresave{$key} = "$nosave";
  264.  
  265. $key = q/include/;
  266. $external_labels{$key} = "$URL/" . q|node93_ct.html|; 
  267. $noresave{$key} = "$nosave";
  268.  
  269. $key = q/indented/;
  270. $external_labels{$key} = "$URL/" . q|node94_ct.html|; 
  271. $noresave{$key} = "$nosave";
  272.  
  273. $key = q/index/;
  274. $external_labels{$key} = "$URL/" . q|node100_ct.html|; 
  275. $noresave{$key} = "$nosave";
  276.  
  277. $key = q/inifile/;
  278. $external_labels{$key} = "$URL/" . q|node24_ct.html|; 
  279. $noresave{$key} = "$nosave";
  280.  
  281. $key = q/input/;
  282. $external_labels{$key} = "$URL/" . q|node95_ct.html|; 
  283. $noresave{$key} = "$nosave";
  284.  
  285. $key = q/it/;
  286. $external_labels{$key} = "$URL/" . q|node101_ct.html|; 
  287. $noresave{$key} = "$nosave";
  288.  
  289. $key = q/item/;
  290. $external_labels{$key} = "$URL/" . q|node97_ct.html|; 
  291. $noresave{$key} = "$nosave";
  292.  
  293. $key = q/itemize/;
  294. $external_labels{$key} = "$URL/" . q|node96_ct.html|; 
  295. $noresave{$key} = "$nosave";
  296.  
  297. $key = q/itemsep/;
  298. $external_labels{$key} = "$URL/" . q|node98_ct.html|; 
  299. $noresave{$key} = "$nosave";
  300.  
  301. $key = q/label/;
  302. $external_labels{$key} = "$URL/" . q|node102_ct.html|; 
  303. $noresave{$key} = "$nosave";
  304.  
  305. $key = q/large1/;
  306. $external_labels{$key} = "$URL/" . q|node103_ct.html|; 
  307. $noresave{$key} = "$nosave";
  308.  
  309. $key = q/latexgloss/;
  310. $external_labels{$key} = "$URL/" . q|node199_ct.html|; 
  311. $noresave{$key} = "$nosave";
  312.  
  313. $key = q/latexignore/;
  314. $external_labels{$key} = "$URL/" . q|node107_ct.html|; 
  315. $noresave{$key} = "$nosave";
  316.  
  317. $key = q/latexonly/;
  318. $external_labels{$key} = "$URL/" . q|node108_ct.html|; 
  319. $noresave{$key} = "$nosave";
  320.  
  321. $key = q/ldots/;
  322. $external_labels{$key} = "$URL/" . q|node109_ct.html|; 
  323. $noresave{$key} = "$nosave";
  324.  
  325. $key = q/macronotfound/;
  326. $external_labels{$key} = "$URL/" . q|node193_ct.html|; 
  327. $noresave{$key} = "$nosave";
  328.  
  329. $key = q/maketitle/;
  330. $external_labels{$key} = "$URL/" . q|node110_ct.html|; 
  331. $noresave{$key} = "$nosave";
  332.  
  333. $key = q/marginpar/;
  334. $external_labels{$key} = "$URL/" . q|node112_ct.html|; 
  335. $noresave{$key} = "$nosave";
  336.  
  337. $key = q/marginpareven/;
  338. $external_labels{$key} = "$URL/" . q|node113_ct.html|; 
  339. $noresave{$key} = "$nosave";
  340.  
  341. $key = q/marginparodd/;
  342. $external_labels{$key} = "$URL/" . q|node114_ct.html|; 
  343. $noresave{$key} = "$nosave";
  344.  
  345. $key = q/marginparwidth/;
  346. $external_labels{$key} = "$URL/" . q|node111_ct.html|; 
  347. $noresave{$key} = "$nosave";
  348.  
  349. $key = q/member/;
  350. $external_labels{$key} = "$URL/" . q|node116_ct.html|; 
  351. $noresave{$key} = "$nosave";
  352.  
  353. $key = q/membersection/;
  354. $external_labels{$key} = "$URL/" . q|node115_ct.html|; 
  355. $noresave{$key} = "$nosave";
  356.  
  357. $key = q/multicolumn/;
  358. $external_labels{$key} = "$URL/" . q|node117_ct.html|; 
  359. $noresave{$key} = "$nosave";
  360.  
  361. $key = q/newcommand/;
  362. $external_labels{$key} = "$URL/" . q|node118_ct.html|; 
  363. $noresave{$key} = "$nosave";
  364.  
  365. $key = q/newpage/;
  366. $external_labels{$key} = "$URL/" . q|node119_ct.html|; 
  367. $noresave{$key} = "$nosave";
  368.  
  369. $key = q/nocite/;
  370. $external_labels{$key} = "$URL/" . q|node120_ct.html|; 
  371. $noresave{$key} = "$nosave";
  372.  
  373. $key = q/noindent/;
  374. $external_labels{$key} = "$URL/" . q|node121_ct.html|; 
  375. $noresave{$key} = "$nosave";
  376.  
  377. $key = q/normalbox/;
  378. $external_labels{$key} = "$URL/" . q|node122_ct.html|; 
  379. $noresave{$key} = "$nosave";
  380.  
  381. $key = q/normalboxd/;
  382. $external_labels{$key} = "$URL/" . q|node123_ct.html|; 
  383. $noresave{$key} = "$nosave";
  384.  
  385. $key = q/normalsize/;
  386. $external_labels{$key} = "$URL/" . q|node124_ct.html|; 
  387. $noresave{$key} = "$nosave";
  388.  
  389. $key = q/onecolumn/;
  390. $external_labels{$key} = "$URL/" . q|node125_ct.html|; 
  391. $noresave{$key} = "$nosave";
  392.  
  393. $key = q/pagenumbering/;
  394. $external_labels{$key} = "$URL/" . q|node128_ct.html|; 
  395. $noresave{$key} = "$nosave";
  396.  
  397. $key = q/pageref/;
  398. $external_labels{$key} = "$URL/" . q|node126_ct.html|; 
  399. $noresave{$key} = "$nosave";
  400.  
  401. $key = q/pagestyle/;
  402. $external_labels{$key} = "$URL/" . q|node127_ct.html|; 
  403. $noresave{$key} = "$nosave";
  404.  
  405. $key = q/par/;
  406. $external_labels{$key} = "$URL/" . q|node134_ct.html|; 
  407. $noresave{$key} = "$nosave";
  408.  
  409. $key = q/paragraph/;
  410. $external_labels{$key} = "$URL/" . q|node130_ct.html|; 
  411. $noresave{$key} = "$nosave";
  412.  
  413. $key = q/paragraphX/;
  414. $external_labels{$key} = "$URL/" . q|node129_ct.html|; 
  415. $noresave{$key} = "$nosave";
  416.  
  417. $key = q/param/;
  418. $external_labels{$key} = "$URL/" . q|node131_ct.html|; 
  419. $noresave{$key} = "$nosave";
  420.  
  421. $key = q/parindent/;
  422. $external_labels{$key} = "$URL/" . q|node132_ct.html|; 
  423. $noresave{$key} = "$nosave";
  424.  
  425. $key = q/parskip/;
  426. $external_labels{$key} = "$URL/" . q|node133_ct.html|; 
  427. $noresave{$key} = "$nosave";
  428.  
  429. $key = q/popref/;
  430. $external_labels{$key} = "$URL/" . q|node136_ct.html|; 
  431. $noresave{$key} = "$nosave";
  432.  
  433. $key = q/printindex/;
  434. $external_labels{$key} = "$URL/" . q|node135_ct.html|; 
  435. $noresave{$key} = "$nosave";
  436.  
  437. $key = q/psboxto/;
  438. $external_labels{$key} = "$URL/" . q|node137_ct.html|; 
  439. $noresave{$key} = "$nosave";
  440.  
  441. $key = q/quotation/;
  442. $external_labels{$key} = "$URL/" . q|node139_ct.html|; 
  443. $noresave{$key} = "$nosave";
  444.  
  445. $key = q/quote/;
  446. $external_labels{$key} = "$URL/" . q|node138_ct.html|; 
  447. $noresave{$key} = "$nosave";
  448.  
  449. $key = q/ref/;
  450. $external_labels{$key} = "$URL/" . q|node140_ct.html|; 
  451. $noresave{$key} = "$nosave";
  452.  
  453. $key = q/rm/;
  454. $external_labels{$key} = "$URL/" . q|node141_ct.html|; 
  455. $noresave{$key} = "$nosave";
  456.  
  457. $key = q/row/;
  458. $external_labels{$key} = "$URL/" . q|node142_ct.html|; 
  459. $noresave{$key} = "$nosave";
  460.  
  461. $key = q/rtf/;
  462. $external_labels{$key} = "$URL/" . q|node199_ct.html|; 
  463. $noresave{$key} = "$nosave";
  464.  
  465. $key = q/rtfignore/;
  466. $external_labels{$key} = "$URL/" . q|node144_ct.html|; 
  467. $noresave{$key} = "$nosave";
  468.  
  469. $key = q/rtfonly/;
  470. $external_labels{$key} = "$URL/" . q|node145_ct.html|; 
  471. $noresave{$key} = "$nosave";
  472.  
  473. $key = q/rtfsp/;
  474. $external_labels{$key} = "$URL/" . q|node146_ct.html|; 
  475. $noresave{$key} = "$nosave";
  476.  
  477. $key = q/ruledrow/;
  478. $external_labels{$key} = "$URL/" . q|node143_ct.html|; 
  479. $noresave{$key} = "$nosave";
  480.  
  481. $key = q/sc/;
  482. $external_labels{$key} = "$URL/" . q|node147_ct.html|; 
  483. $noresave{$key} = "$nosave";
  484.  
  485. $key = q/section/;
  486. $external_labels{$key} = "$URL/" . q|node149_ct.html|; 
  487. $noresave{$key} = "$nosave";
  488.  
  489. $key = q/sectionX/;
  490. $external_labels{$key} = "$URL/" . q|node148_ct.html|; 
  491. $noresave{$key} = "$nosave";
  492.  
  493. $key = q/sectionheading/;
  494. $external_labels{$key} = "$URL/" . q|node150_ct.html|; 
  495. $noresave{$key} = "$nosave";
  496.  
  497. $key = q/setfooter/;
  498. $external_labels{$key} = "$URL/" . q|node151_ct.html|; 
  499. $noresave{$key} = "$nosave";
  500.  
  501. $key = q/setheader/;
  502. $external_labels{$key} = "$URL/" . q|node152_ct.html|; 
  503. $noresave{$key} = "$nosave";
  504.  
  505. $key = q/shortcite/;
  506. $external_labels{$key} = "$URL/" . q|node153_ct.html|; 
  507. $noresave{$key} = "$nosave";
  508.  
  509. $key = q/small/;
  510. $external_labels{$key} = "$URL/" . q|node154_ct.html|; 
  511. $noresave{$key} = "$nosave";
  512.  
  513. $key = q/space/;
  514. $external_labels{$key} = "$URL/" . q|node10_ct.html|; 
  515. $noresave{$key} = "$nosave";
  516.  
  517. $key = q/special/;
  518. $external_labels{$key} = "$URL/" . q|node155_ct.html|; 
  519. $noresave{$key} = "$nosave";
  520.  
  521. $key = q/ss/;
  522. $external_labels{$key} = "$URL/" . q|node156_ct.html|; 
  523. $noresave{$key} = "$nosave";
  524.  
  525. $key = q/subparagraph/;
  526. $external_labels{$key} = "$URL/" . q|node158_ct.html|; 
  527. $noresave{$key} = "$nosave";
  528.  
  529. $key = q/subparagraphX/;
  530. $external_labels{$key} = "$URL/" . q|node157_ct.html|; 
  531. $noresave{$key} = "$nosave";
  532.  
  533. $key = q/subsection/;
  534. $external_labels{$key} = "$URL/" . q|node160_ct.html|; 
  535. $noresave{$key} = "$nosave";
  536.  
  537. $key = q/subsectionX/;
  538. $external_labels{$key} = "$URL/" . q|node159_ct.html|; 
  539. $noresave{$key} = "$nosave";
  540.  
  541. $key = q/subsubsection/;
  542. $external_labels{$key} = "$URL/" . q|node162_ct.html|; 
  543. $noresave{$key} = "$nosave";
  544.  
  545. $key = q/subsubsectionX/;
  546. $external_labels{$key} = "$URL/" . q|node161_ct.html|; 
  547. $noresave{$key} = "$nosave";
  548.  
  549. $key = q/tabbing/;
  550. $external_labels{$key} = "$URL/" . q|node163_ct.html|; 
  551. $noresave{$key} = "$nosave";
  552.  
  553. $key = q/tableofcontents/;
  554. $external_labels{$key} = "$URL/" . q|node164_ct.html|; 
  555. $noresave{$key} = "$nosave";
  556.  
  557. $key = q/tables/;
  558. $external_labels{$key} = "$URL/" . q|node15_ct.html|; 
  559. $noresave{$key} = "$nosave";
  560.  
  561. $key = q/tabular/;
  562. $external_labels{$key} = "$URL/" . q|node165_ct.html|; 
  563. $noresave{$key} = "$nosave";
  564.  
  565. $key = q/textwidth/;
  566. $external_labels{$key} = "$URL/" . q|node167_ct.html|; 
  567. $noresave{$key} = "$nosave";
  568.  
  569. $key = q/thebibliography/;
  570. $external_labels{$key} = "$URL/" . q|node168_ct.html|; 
  571. $noresave{$key} = "$nosave";
  572.  
  573. $key = q/tiny/;
  574. $external_labels{$key} = "$URL/" . q|node170_ct.html|; 
  575. $noresave{$key} = "$nosave";
  576.  
  577. $key = q/title/;
  578. $external_labels{$key} = "$URL/" . q|node169_ct.html|; 
  579. $noresave{$key} = "$nosave";
  580.  
  581. $key = q/today/;
  582. $external_labels{$key} = "$URL/" . q|node171_ct.html|; 
  583. $noresave{$key} = "$nosave";
  584.  
  585. $key = q/toocomplex/;
  586. $external_labels{$key} = "$URL/" . q|node172_ct.html|; 
  587. $noresave{$key} = "$nosave";
  588.  
  589. $key = q/tt/;
  590. $external_labels{$key} = "$URL/" . q|node173_ct.html|; 
  591. $noresave{$key} = "$nosave";
  592.  
  593. $key = q/twocolitem/;
  594. $external_labels{$key} = "$URL/" . q|node175_ct.html|; 
  595. $noresave{$key} = "$nosave";
  596.  
  597. $key = q/twocolitemruled/;
  598. $external_labels{$key} = "$URL/" . q|node176_ct.html|; 
  599. $noresave{$key} = "$nosave";
  600.  
  601. $key = q/twocollist/;
  602. $external_labels{$key} = "$URL/" . q|node177_ct.html|; 
  603. $noresave{$key} = "$nosave";
  604.  
  605. $key = q/twocolumn/;
  606. $external_labels{$key} = "$URL/" . q|node180_ct.html|; 
  607. $noresave{$key} = "$nosave";
  608.  
  609. $key = q/twocolwidtha/;
  610. $external_labels{$key} = "$URL/" . q|node178_ct.html|; 
  611. $noresave{$key} = "$nosave";
  612.  
  613. $key = q/twocolwidthb/;
  614. $external_labels{$key} = "$URL/" . q|node179_ct.html|; 
  615. $noresave{$key} = "$nosave";
  616.  
  617. $key = q/typeout/;
  618. $external_labels{$key} = "$URL/" . q|node174_ct.html|; 
  619. $noresave{$key} = "$nosave";
  620.  
  621. $key = q/underline/;
  622. $external_labels{$key} = "$URL/" . q|node181_ct.html|; 
  623. $noresave{$key} = "$nosave";
  624.  
  625. $key = q/verb/;
  626. $external_labels{$key} = "$URL/" . q|node184_ct.html|; 
  627. $noresave{$key} = "$nosave";
  628.  
  629. $key = q/verbatim/;
  630. $external_labels{$key} = "$URL/" . q|node183_ct.html|; 
  631. $noresave{$key} = "$nosave";
  632.  
  633. $key = q/verbatiminput/;
  634. $external_labels{$key} = "$URL/" . q|node182_ct.html|; 
  635. $noresave{$key} = "$nosave";
  636.  
  637. $key = q/winhelpignore/;
  638. $external_labels{$key} = "$URL/" . q|node185_ct.html|; 
  639. $noresave{$key} = "$nosave";
  640.  
  641. $key = q/winhelponly/;
  642. $external_labels{$key} = "$URL/" . q|node186_ct.html|; 
  643. $noresave{$key} = "$nosave";
  644.  
  645. $key = q/wxhelp/;
  646. $external_labels{$key} = "$URL/" . q|node199_ct.html|; 
  647. $noresave{$key} = "$nosave";
  648.  
  649. $key = q/wxwindows/;
  650. $external_labels{$key} = "$URL/" . q|node199_ct.html|; 
  651. $noresave{$key} = "$nosave";
  652.  
  653. $key = q/xlpignore/;
  654. $external_labels{$key} = "$URL/" . q|node187_ct.html|; 
  655. $noresave{$key} = "$nosave";
  656.  
  657. $key = q/xlponly/;
  658. $external_labels{$key} = "$URL/" . q|node188_ct.html|; 
  659. $noresave{$key} = "$nosave";
  660.  
  661. 1;
  662.  
  663.  
  664. # LaTeX2HTML 2022 (Released January 1, 2022)
  665. # labels from external_latex_labels array.
  666.  
  667.  
  668. 1;
  669.  
  670.